Imagina un sistema físico: un saldo de préstamo creciente, un cuerpo cayendo o una población de especies en peligro de extinción. La anatomía de una ecuación diferencial de primer orden (EDO) es el puente matemático que nos permite predecir el estado futuro de estos sistemas. Formaliza la relación entre una variable independiente $t$, una variable dependiente $y$ y su tasa instantánea de cambio.
1. La Taxonomía Estructural
En esencia, una EDO de primer orden relaciona la derivada con las variables: $$\frac{dy}{dt} = f(t, y) \quad (1)$$ o en su forma implícita $F(t, y) = 0$. Las ecuaciones se clasifican por su "esqueleto":
- Anatomía Lineal: Ecuaciones como $\frac{dy}{dt} = -ay + b$ (2), donde la función es lineal en $y$. Nota: Por ello, usaremos el término 'solución general' solo al tratar ecuaciones lineales.
- Anatomía Autónoma: Cuando la tasa depende únicamente del estado, $dy/dt = f(y)$. Estas frecuentemente presentan un nivel umbral (T): un nivel crítico de población por debajo del cual una especie no puede propagarse y se extingue.
- Anatomía Exacta: Verificada por la condición $M_y(x, y) = N_x(x, y)$. Si esta falla, como en el Ejemplo 3, no existe una función $\psi(x, y)$ que satisfaga el sistema.
Paso 1: Construcción del Modelo
Situaciones físicas, como EJEMPLO 4 | Velocidad de Escape (un cuerpo de masa $m$ proyectado desde la Tierra), debe traducirse a términos matemáticos. Debemos tener en cuenta la gravedad y la velocidad inicial $v_0$.
Paso 2: Estabilidad y Existencia
Confiamos en la condición de Lipschitz: $|f(t, y_1) - f(t, y_2)| \le K|y_1 - y_2|$ para garantizar que existe una solución y que es única. Sin esta condición, la "anatomía" del problema podría estar rota o ser multivaluada.
2. Soluciones y Visualización
Cualquier función diferenciable $y = \phi(t)$ que satisfaga la ecuación para todo $t$ en algún intervalo se llama solución. Geométricamente, la representamos como una curva integral. Para las ecuaciones de Bernoulli, usamos la sustitución $v = y^{1-n}$ para linealizar la anatomía.
🎯 Observación Crítica: Método de Euler
En EJEMPLO 1 (saldo de préstamo $S(t)$ con un interés del 12%), las aproximaciones discretas usando el método de Euler $y_{n+1} = y_n + f_n \cdot (t_{n+1} - t_n)$ suelen ser mayores que los valores continuos reales. Esto se debe a que la gráfica de la solución es cóncava hacia abajo, lo que hace que las aproximaciones mediante rectas tangentes estén por encima de la gráfica.
$\frac{dS}{dt} = rS - k \implies y_n = \rho^n y_0$